Specification-Based Testing Via Domain Specific Language
نویسندگان
چکیده
منابع مشابه
Prototyping, Domain Specific Language, and Testing
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done to extend prototyping to other software development activities. In this paper, we present a prototyping-based testing model and describe how to apply prototyping to the testing activities in the entire software develo...
متن کاملA Domain-Specific Language for the Specification of Path Algebras
Path algebras are used to describe path problems in directed graphs. Constructing a new path algebra involves defining a carrier set, several operations, and proving that many algebraic properties hold. We describe work-in-progress on the development of a domain-specific language for specifying path algebras where implementations and proofs are automatically constructed in a bottom-up fashion. ...
متن کاملUse Case Specification Using the SILABREQ Domain Specific Language
The software requirements engineering process is a part of a software development process and one of the key processes in software development. The elicitation, analysis, specification and validation of software requirements occur during the requirements engineering process. Use cases are used as a technique for functional system specification. Different notations can be used for a use case spe...
متن کاملA Domain-Specific Language for Service Level Agreement Specification
In order to perform continuous monitoring, SLA document between interested parties has to be signed. These documents should be in machine readable format in order to automate monitoring process. On the other hand, it would be beneficial if it is human readable, too. This way, it is easier to perform configuration and maintenance of monitoring subsystem. Building up on our previous work, in this...
متن کاملPraspel: A Specification Language for Contract-Based Testing in PHP
We introduce in this paper a new specification language named Praspel, for PHP Realistic Annotation and SPEcification Language. This language is based on the Design-by-Contract paradigm. Praspel clauses annotate methods of a PHP class in order to both specify their contracts, using preand postconditions, and assign realistic domains to the method parameters. A realistic domain describes a set o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Research Papers Faculty of Materials Science and Technology Slovak University of Technology
سال: 2014
ISSN: 1338-0532
DOI: 10.2478/rput-2014-0003